Generalized Effective Reducibility

We introduce two notions of effective reducibility for set-theoretical statements, based on computability with Ordinal Turing Machines (OTMs), one of which resembles Turing reducibility while the other is modelled after Weihrauch reducibility. We give sample applications by showing that certain (algebraic) constructions are not effective in the OTM-sense and considerung the effective equivalence of various versions of the axiom of choice

Recent history, current status, conservation and management of native mammalian carnivore species in Great Britain

This is the author accepted manuscript. The final version is available from Wiley via the DOI in this record After historical declines in population sizes and ranges, we compare and contrast the recent history and contemporary variation in the status of Great Britain's eight native mammalian carnivore species from the 1960s to 2017. Wildcat Felis silvestris conservation status is unfavourable and is masked by hybridisation with domestic cats Felis catus. Red foxes Vulpes vulpes remain widespread but are currently declining. European otter Lutra lutra, European pine marten Martes martes and European polecat Mustela putorius populations are characterised by rapid recovery. Otters have almost completely recolonised Great Britain, polecats have expanded their range throughout southern Britain from refugia in Wales and pine martens have expanded their range from the Scottish Highlands. European badgers Meles meles have generally increased in population density. Status assessments of stoats Mustela erminea and weasels Mustela nivalis are data-deficient but available evidence suggests that stoats may have increased while weasels may have declined. Anthropogenic processes influencing carnivore status include legal protections, habitat quality, reintroductions, predator control, pollutants, hybridisation and diseases and their associated control practices. Population effects of contaminants, such as anticoagulant rodenticides, remain poorly characterised. The widespread interface with domestic and feral cats makes the wildcat's situation precarious. Recent declines in rabbit Oryctolagus cuniculus populations are a concern, given that several carnivore species depend on them as food. We conclude that, with the exception of the wildcat, the status of Great Britain's mammalian carnivores has markedly improved since the 1960s. Better understanding of the social aspects of interactions between humans and expanding predator populations is needed if conflict is to be avoided and long-term co-existence with people is to be possible.Vincent Wildlife TrustUniversity of Exete

The Expanding Fireball of Nova Delphini 2013

A classical nova occurs when material accreting onto the surface of a white dwarf in a close binary system ignites in a thermonuclear runaway. Complex structures observed in the ejecta at late stages could result from interactions with the companion during the common envelope phase. Alternatively, the explosion could be intrinsically bipolar, resulting from a localized ignition on the surface of the white dwarf or as a consequence of rotational distortion. Studying the structure of novae during the earliest phases is challenging because of the high spatial resolution needed to measure their small sizes. Here we report near-infrared interferometric measurements of the angular size of Nova Delphini 2013, starting from one day after the explosion and continuing with extensive time coverage during the first 43 days. Changes in the apparent expansion rate can be explained by an explosion model consisting of an optically thick core surrounded by a diffuse envelope. The optical depth of the ejected material changes as it expands. We detect an ellipticity in the light distribution, suggesting a prolate or bipolar structure that develops as early as the second day. Combining the angular expansion rate with radial velocity measurements, we derive a geometric distance to the nova of 4.54 +/- 0.59 kpc from the Sun.Comment: Published in Nature. 32 pages. Final version available at http://www.nature.com/nature/journal/v515/n7526/full/nature13834.htm

Diets of European polecat Mustela putorius in Great Britain during fifty years of population recovery

This is the final version. Available from Springer via the DOI in this record. Following nineteenth-century declines, polecats Mustela putorius are recolonising Great Britain. Polecat diet relates to two potential risks to recovery. First, rabbits Oryctolagus cuniculus, which are important prey for polecats, have experienced extreme population fluctuations, with near extirpation due to myxomatosis in the 1950s, recovery in 1960s–1990s and declines in 1990s–2010s. Second, polecats are secondarily exposed to anticoagulant rodenticides by eating contaminated rodents, and the frequency of polecat exposure to rodenticides is increasing. We analysed stomach contents from 99 polecats collected in 2012–2016 and compared results with earlier studies. Lagomorphs were the most abundant prey (66% frequency of occurrence, 95% confidence interval 53–74%), followed by other mammals (12%, 4–18%), amphibians (10%, 3–16%) and birds (7%, 1–13%). Diet varied seasonally; lagomorph occurrence was highest in spring and summer and lowest in autumn. Dietary niche breadth was greater in the 1960s, when rabbits were scarce, than in other decades, but did not differ between the 1990s and 2010s, indicating that diets have not diversified with recent rabbit declines. This may be because rabbit abundance is not yet low enough to cause dietary diversification or because polecats were collected in areas where rabbits were still abundant. Rodents did not increase in diet between the 1990s and 2010s and still occur with < 10% frequency, indicating that rodents need not contribute much to diet to expose polecats to rodenticides. This potentially limits the effectiveness of management actions designed to minimise polecat exposure to contaminated rodent prey.Vincent Wildlife TrustUniversity of Exete

Temporomandibular Joint Disorder Complaints in Tinnitus: Further Hints for a Putative Tinnitus Subtype

OBJECTIVE: Tinnitus is considered to be highly heterogeneous with respect to its etiology, its comorbidities and the response to specific interventions. Subtyping is recommended, but it remains to be determined which criteria are useful, since it has not yet been clearly demonstrated whether and to which extent etiologic factors, comorbid states and interventional response are related to each other and are thus applicable for subtyping tinnitus. Analyzing the Tinnitus Research Initiative Database we differentiated patients according to presence or absence of comorbid temporomandibular joint (TMJ) disorder complaints and compared the two groups with respect to etiologic factors. METHODS: 1204 Tinnitus patients from the Tinnitus Research Initiative (TRI) Database with and without subjective TMJ complaints were compared with respect to demographic, tinnitus and audiological characteristics, questionnaires, and numeric ratings. Data were analysed according to a predefined statistical analysis plan. RESULTS: Tinnitus patients with TMJ complaints (22% of the whole group) were significantly younger, had a lower age at tinnitus onset, and were more frequently female. They could modulate or mask their tinnitus more frequently by somatic maneuvers and by music or sound stimulation. Groups did not significantly differ for tinnitus duration, type of onset (gradual/abrupt), onset related events (whiplash etc.), character (pulsatile or not), hyperacusis, hearing impairment, tinnitus distress, depression, quality of life and subjective ratings (loudness etc.). CONCLUSION: Replicating previous work in tinnitus patients with TMJ complaints, classical risk factors for tinnitus like older age and male gender are less relevant in tinnitus patients with TMJ complaints. By demonstrating group differences for modulation of tinnitus by movements and sounds our data further support the notion that tinnitus with TMJ complaints represents a subgroup of tinnitus with clinical features that are highly relevant for specific therapeutic management

Calf muscle density is independently associated with physical function in overweight and obese older adults

OBJECTIVES: To determine whether associations of calf muscle density with physical function are independent of other determinants of functional decline in overweight and obese older adults. METHODS: This was a secondary analysis of a cross-sectional study of 85 community-dwelling overweight and obese adults (mean±SD age 62.8±7.9 years; BMI 32.3±6.1 kg/m2; 58% women). Peripheral quantitative computed tomography assessed mid-calf muscle density (66% tibial length) and dual-energy X-ray absorptiometry determined visceral fat area. Fasting glucose, Homeostatic Model Assessment of Insulin Resistance (HOMA-IR) and C-reactive protein (CRP) were analysed. Physical function assessments included hand grip and knee extension strength, balance path length (computerised posturography), stair climb test, Short Physical Performance Battery (SPPB) and self-reported falls efficacy (Modified Falls Efficacy Scale; M-FES). RESULTS: Visceral fat area, not muscle density, was independently associated with CRP and fasting glucose (B=0.025; 95% CI 0.009-0.042 and B=0.009; 0.001-0.017, respectively). Nevertheless, higher muscle density was independently associated with lower path length and stair climb time, and higher SPPB and M-FES scores (all P⟨0.05). Visceral fat area, fasting glucose and CRP did not mediate these associations. CONCLUSIONS: Higher calf muscle density predicts better physical function in overweight and obese older adults independent of insulin resistance, visceral adiposity or inflammation

Tinnitus with Temporomandibular Joint Disorders: A Specific Entity of Tinnitus Patients?

Objective. Tinnitus is frequently associated with temporomandibular joint (TMJ) dysfunction. However, the nature of the relationship is not fully understood. Here the authors compared 30 patients with a confirmed diagnosis of temporomandibular joint dysfunction and tinnitus to a group of 61 patients with tinnitus but without any subjective complaints of TMJ dysfunction with respect to clinical and demographic characteristics. Study Design. Case-control study. Setting. Tertiary referral center. Subjects. Tinnitus patients with and without TMJ dysfunction presenting at the Department of Prosthetic Dentistry and the Tinnitus Clinic at the University of Regensburg. Results. Tinnitus patients with TMJ disorder had better hearing function (P < .0005), lower age (P = .001), and lower age at tinnitus onset (P = .002) and were more frequently female (P = .003). Their subjectively perceived tinnitus loudness was lower (P = .01), and more of them could modulate their tinnitus by jaw or neck movements (P = .001). Conclusion. Classical risk factors for tinnitus (age, male gender, hearing loss) are less relevant in tinnitus patients with TMJ disorder, suggesting a causal role of TMJ pathology in the generation and maintenance of tinnitus. Based on this finding, treatment of TMJ disorder may represent a causally oriented treatment strategy for tinnitus

Border Terriers under primary veterinary care in England: demography and disorders

The Border Terrier is a working terrier type that is generally considered to be a relatively healthy and hardy breed. This study aimed to characterise the demography and common disorders of Border Terriers receiving veterinary care in England using de-identified electronic patient record data within the VetCompass™ Programme

Comparison of choose-a-movie and approach-avoidance paradigms used to measure social motivation

Social motivation is a subjective state which is rather difficult to quantify. It has sometimes been conceptualised as “behavioural effort” to seek social contact. Two paradigms: approach–avoidance (AA) and choose a movie (CAM), based on the same conceptualisation, have been used to measure social motivation in people with and without autism. However, in absence of a direct comparison, it is hard to know which of these paradigms has higher sensitivity in estimating preference for social over non-social stimuli. Here we compare these two tasks for their utility in (1) evaluating social seeking in typical people and (2) identifying the influence of autistic traits on social motivation. Our results suggest that CAM reveals a clear preference for social stimuli over non-social in typical adults but AA fails to do so. Also, social seeking measured with CAM but not AA has a negative relationship between autistic traits